Université Côte d'Azur Academy 1

In the context of the UCA Jedi IDEX, associated with the UCA ComUE, we have applied to a number of funding initiatives. The project Smart IoT for Mobility has been funded for three years by the Academy RISE. This project is lead by the LEAT and Kairos is building a formal language for the design of smart contracts in the context of a mobility project with Renault Software Labs. The smart contracts are persisted in a secured distributed ledgers (through blockchain technology). The SyMag company, a subsidiary of BNP Paribas, is providing the technology to access block chain with a ledger-agnostic API. A PhD (at LEAT) and a Post-doc (within Kairos) positions are funded by this project. A complementary funding has been asked to the ANR with the generic call 2019.